function UpdateWSUrl () {
	window.open (
		'ontoedit/ws_getinfo.php?url='+document.getElementById ('ws_url').value+'&param=fl'
	);
}